Fix 'sched=sedf' boot.

Signed-off-by: Keir Fraser <keir@xensource.com>

diff --git a/xen/common/sched_credit.c b/xen/common/sched_credit.c
index 152da1248e83b23c53ad6d7cefaf0e6ddb34a784..192ed842133739b3840b77fc9030a143aa9ce3d3 100644 (file)
--- a/xen/common/sched_credit.c
+++ b/xen/common/sched_credit.c
@@ -1355,6 +1355,10 @@ static __init int csched_start_tickers(void)
     struct csched_pcpu *spc;
     unsigned int cpu;
 
+    /* Is the credit scheduler initialised? */
+    if ( csched_priv.ncpus == 0 )
+        return 0;
+
     for_each_online_cpu ( cpu )
     {
         spc = CSCHED_PCPU(cpu);